Eukleides: a Geometry Drawing Language a B C Triangle

As a mathematics teacher in a French high school, I have to compose a rather large number of documents for my students, containing both text and formulas. In my point of view, LATEX is the best tool in such a situation, combining efficiency and high quality. Very often, these documents should be illustrated with geometric figures. I first used the excellent PSTricks package to draw them. I didn’t want to use WYSIWYG software instead, because I wanted to keep following LATEX’s philosophy, that is: What You Mean Is What You Get. Unfortunately, PSTricks isn’t designed for geometry at all and is rather inappropriate in many situations. One night, I wanted to draw a triangle with an inscribed circle, so I had to compute by hand the coordinates of the center and the radius of this circle, which is quite boring. During these calculations, I realized that they could easily be done by a computer, and that gave me the idea to create Eukleides, a geometry drawing language. My goal was to make it as close as possible to what mathematics teachers would say to describe geometric figures. For instance, the former problem, written as an exercise, could be: Let ABC be a triangle and I its inscribed circle. Draw ABC and I. In Eukleides, it gives: